1.

المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)

2. Beyond Two: Theory and Applications of Multiple-Valued Logic

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebra.,Artificial intelligence.,Computer science.,Logic design.

3. Beyond two

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)

موضوع: Many-valued logic

رده :
{
1648
},
25b3b79dd6ba38a5d290a85cf331984b

4. Compability theory, Semantics, and logic programming

المؤلف:

المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع: Computable functions,Data structures (computer science)

رده :
QA
9
.
59
.
F58
1986

5. First-order logic and automated theorem proving

المؤلف:

المکتبة: (طهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96F528
1990

6. First-order logic and automated theorem proving

المؤلف:

المکتبة: (کرمان)

موضوع: Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96
,
F68
1990

7. First-order logic and automated theorem proving

المؤلف:

المکتبة: (کرمان)

موضوع: Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96
,
F68
1990

8. First-order logic and automated theorem proving

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA76
.
9
.
A96
,
F68
1990

9. First-order logic and automated theorem proving /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

10. First-order logic and automated theorem proving

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96
.
F68
1996

11. First-order modal logic

المؤلف:

المکتبة: كتابخانه دانشگاه مفيد (قم)

رده :
BC
199
.
M6
F5
1998

12. Fundamentals of generalized recursion theory

المؤلف:

المکتبة: (طهران)

موضوع: ، Recursion theory

رده :
QA
9
.
6
.
F57
1981

13. Fundamentals of generalized recursion theory

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: ، Recursion theory

رده :
QA
9
.
6
.
F57
1981

14. Introduction to formal philosophy /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.

رده :
B808
.
5
.
I58
2018

15. Intuitionistic logic, model theory and forcing

المؤلف:

المکتبة: (طهران)

موضوع: ، Model theory,، Axiomatic set theory,، Forcing )Model theory(

رده :
QA
9
.
F56

16. Intuitionistic logic, modlel theory and forcing

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Model theory,Axiomatic set theory

رده :
511
.
8
F547

17. Justification logic :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic, Symbolic and mathematical. ; Inquiry (Theory of knowledge) ; Science ; Theory reduction. ; Reasoning. ;

18. Justification logic :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.

رده :
QA9
.
A78
2019

19. Proof methods for modal and intuitionistic logics

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.

رده :
QA9
.
54
M458
2010

20. Rohit Parikh on Logic, Language and Society

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics

رده :
EBOOK
,
BC
R6
140